Logic family - PDFSEARCH.IO - Document Search Engine

Logic family
Results: 291

#	Item
41	Helly’s Intersection Theorem The main topic of this chapter is a famous combinatorial theorem by E. Helly (1884–Let us start with a useful terminology. Definition 0.1. Let F be a family of subsets of a set X, Add to Reading List Source URL: users.mat.unimi.it Language: English - Date: 2010-05-07 05:19:24 General topology Spectral theory Convex analysis Combinatory logic Lambda calculus Logic in computer science Compact space Convex function Spectral theory of ordinary differential equations Topology Mathematics Mathematical analysis
42	7. Sunflowers One of most beautiful results in extremal set theory is the so-called Sunflower Lemma discovered by Erd˝os and Rado[removed]asserting that in a sufficiently large uniform family, some highly regular config Add to Reading List Source URL: lovelace.thi.informatik.uni-frankfurt.de Language: English - Date: 2007-08-30 03:42:26 Forcing Sunflower Logic Mathematics Set theory Combinatorics
43	Terabit Clockless Crossbar Switch in 130nm Uri Cummings [removed] 1 Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 23:42:32 Electrical engineering Electrical circuits Asynchronous circuit Clock signal Central processing unit Flip-flop Dynamic logic Delay insensitive circuit Logic family Electronic engineering Digital electronics Electronics
44	Common Logic A Framework for a Family Of Logic-Based Languages John F. Sowa 19 May 2008 Add to Reading List Source URL: cl.tamu.edu Language: English - Date: 2008-10-30 13:57:13 Diagrams Philosophy of science Philosophical logic Mathematical logic Conceptual graph Common logic First-order logic Charles Sanders Peirce Semantics Logic Science Philosophy
45	Assessing Degeneracy in Statistical Models of Social Networks 1 Mark S. Handcock University of Washington, Seattle Working Paper no. 39 Add to Reading List Source URL: www.csss.washington.edu Language: English - Date: 2009-01-07 17:16:05 Statistical theory M-estimators Maximum likelihood Exponential family Likelihood function Entailment Expectation–maximization algorithm Estimation theory Statistics Logic
46	‘Collingwood Living in Harmony’ Logic Model INPUTS: Timely policy context (Addressing Violence Against Women and Their Children Framework), evidence-based planning tools (VicHealth primary prevention framework) Add to Reading List Source URL: www.partnersinprevention.org.au Language: English - Date: 2014-10-30 01:09:39 Abuse Family therapy Violence Domestic violence Victorian Health Promotion Foundation Behavior Violence against women Ethics Crime
47	Disability reform in Western Australia A comparative evaluation of the two Western Australian trial site models 1. Introduction The Agreement between the Commonwealth and the Western Australian governments for Add to Reading List Source URL: www.disability.wa.gov.au Language: English - Date: 2014-04-16 23:37:43 Disability Population Logic model Caregiver Disability rights Health Education Sociology Educational psychology Family Evaluation methods
48	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein C Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Program logic Law Computer law Copyleft Intellectual property law Isabelle Predicate transformer semantics L4 microkernel family Hoare logic Theoretical computer science Open content Formal methods
49	Project title Mobile Family Resource Centre also known as Bernie on Wheels. Project practice Add to Reading List Source URL: www.aifs.gov.au Language: English - Date: 2014-10-14 22:44:33 Health Program evaluation Logic model Social capital Health promotion Evaluation methods Evaluation Sociology
50	5923_Child&Family_Inserts Add to Reading List Source URL: www.outcomesforchildren.org Language: English Positive psychology Psychological resilience Mind Science Logic model Routine health outcomes measurement Evaluation Evaluation methods Motivation